#ifndef JIT_TASKLET_H
#define JIT_TASKLET_H

#include <linux/types.h>

extern uint tasklet_high_priority;

int jit_tasklet_init(void);
void jit_tasklet_exit(void);

#endif /* JIT_TASKLET_H */